A Preference Meta-Model for Logic Programs with Possibilistic Ordered Disjunction

نویسندگان

  • Roberto Confalonieri
  • Juan Carlos Nieves
  • Javier Vázquez-Salceda
چکیده

This paper presents an approach for specifying user preferences related to services by means of a preference meta-model, which is mapped to logic programs with possibilistic ordered disjunction following a Model-Driven Methodology (MDM). MDM allows to specify problem domains by means of meta-models which can be converted to instance models or other meta-models through transformation functions. In particular we propose a preference meta-model that defines an abstract preference specification language allowing users to specify preferences in a more friendly way using models. We also present a meta-model for logic programs with possibilistic order disjunction. Then we show how we conceptually map the preference meta-model to logic programs with possibilistic ordered disjunction by means of a mapping function.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Pstable Semantics for Logic Programs with Possibilistic Ordered Disjunction

In this paper we define the semantics for capturing possibilistic ordered disjunction programs based on pstable semantics. The pstable semantics, based on paraconsistent logic, allows to treat inconsistency programs. Moreover being closer to possibilistic inference it allows to extend the necessity-values of the clauses to be considered, causing a higher level of comparison at the moment of sel...

متن کامل

Logic Programs with Possibilistic Ordered Disjunction

Logic programs with ordered disjunction have shown to be a flexible specification language able to model common user preferences in a natural way. However, in some realistic scenarios the preferences should be linked to the evidence of the information when trying to reach a single preferred solution. In this paper, we extend the syntax and the semantics of logic programs with ordered disjunctio...

متن کامل

Towards the Implementation of a Preference- and Uncertain-Aware Solver Using Answer Set Programming

Logic programs with possibilistic ordered disjunction (or LPPODs) are a recently defined logic-programming framework based on logic programs with ordered disjunction and possibilistic logic. The framework inherits the properties of such formalisms and merging them, it supports a reasoning which is nonmonotonic, preferenceand uncertain-aware. The LPPODs syntax allows to specify 1) preferences in...

متن کامل

Nested Logic Programs with Ordered Disjunction

In this paper we define a class of nested logic programs, nested logic programs with ordered disjunction (LPODs), which allows to specify qualitative preferences by means of nested preference expressions. For doing this we extend the syntax of logic programs with ordered disjunction (LPODs) to capture more general expressions. We define the LPODs semantics in a simple way and we extend most of ...

متن کامل

On the Relationship Between Qualitative Choice Logic and Possibilistic Logic

Qualitative choice logic (QCL) is a propositional logic for representing prioritized alternatives. The logic adds to classical propositional logic a new connective called ordered disjunction: A~×B intuitively means: if possible A, but if A is not possible then at least B. QCL inference is obtained by defining a preference relation between interpretations of a propositional language. This paper ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009